Result on 2206.13424 benchmark

Solvers (Click on a solver to hide it or double click to hide all the others)